typedef int t2;
